散文｜声空质疑去
人声嘈杂处，向来不乏质问者。他们立于市井，立于堂奥，立于一切可立之地，发出声响。那声响并非寻觅真理的叩门声，倒像是预先藏好了谜底的匣子，只待旁人开启，便自以为得计。
林樾
女儿爱上太监，害我身首异处，重生后，我龙袖一挥，赐她去敌国和亲！
为了逼我答应，她竟将我钦定的驸马残忍阉割，更盗走传国玉玺，令镇守边关多年的将军以命相护的三座城池拱手送敌。
【亲子日记70】诗歌背诵
闲暇之余，我喜欢领着孩子读点书，读点英语单词。可是我对象经常敲打我，说我这个发音不准，那个笔顺不对。我不以为然。我自认为我是做老师的，一般的知识点我还是能够胜任的。所以我就没怎么注意。可是周五发生的一件事情让我改变了对自己的看法。
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
就在5月，前有DeepSeek Prover V2发布，后有陶哲轩的AI数学直播，还有谷歌最新发布的AlphaEvolve。